$\forall$$g$:GrpSig. IsMonHom\{$g$,$g$\}(Id\{$\mid$$g$$\mid$\})